Daily Artificial Intelligence Digest - Oct 31, 2025
dev.to·18h·
Discuss: DEV
🤖Advanced OCR
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·21h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
Stochastic computing
scottlocklin.wordpress.com·3h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Watch the recordings from my Python + AI series
blog.pamelafox.org·5h·
🎙️Whisper
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·1d
🔧RISC-V Assembler
Flag this post
Friday 21 November - 11am
informatics.ed.ac.uk·1d
💻Programming languages
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.net·1d
🌀Brotli Dictionary
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·20h
🔓Decompilation
Flag this post
Issue 496
haskellweekly.news·1d
🔗Functional Compilers
Flag this post
Everything About Transformers
krupadave.com·1d
📝Text Parsing
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·16h
📝Log Parsing
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.com·16m·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2h·
Discuss: Hacker News
🔨Compilers
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·12h·
Discuss: Hacker News
λLambda Formalization
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λLambda Formalization
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🔗Combinatory Logic
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.io·49m
⚙️TLA+
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·1h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·2d·
Discuss: Substack
🧬Functional Programming
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·2h·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post